Linear Subspace Proof